$\forall$$L$:$\mathbb{Z}$ List, $x$:$\mathbb{Z}$. ($x$ $\in$ $L$) $\Rightarrow$ $x$$\leq$imax{-}list($L$)